927. Rewriting logic and its applications :

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computer logic ; Congresses. ;

930. Rules and reasoning :

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computer logic ; Congresses. ;

931. Rules and reasoning :

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computer logic ; Congresses. ;